Top-Down Tree-To-Graph Transducers

We introduce a new syntax-directed translation device called top-down treeto-graph transducer. Such transducers are very similar to the usual top-down tree trans ducers except that the right-hand sides of their rules are hypergraphs rather than trees. Since we are aiming at a device which also allows to translate trees into objects ditTerent from graphs, we focus our attention on so-called tree-generating top-down tree-to-graph transducers. Then the result of every computation is a hypergraph which represents a tree, and in its turn the tree can be interpreted in any algebra of appropriate signature. Although for both devices, top-down tree transducers and tree-generating top-down treeto-graph transducers, the translation of a subtree of an input tree does not depend on its context, the latter transducers have much more transformational power than the for mer. In this paper we prove that tree-generating top-down tree-to-graph transducers are equivalent to macro tree transducers, which are transducers for which the translation of a subtree may depend on its context. ^upported by COMPUGRAPH ("Computing by Graph Transformation"), ESPRIT Basic Re search Working Group Number 3299